The Rough Guide to Constraint Propagation
نویسنده
چکیده
We provide here a simple, yet very general framework that allows us to explain several constraint propagation algorithms in a systematic way. In particular, using the notions commutativity and semi-commutativity, we show how the well-known AC-3, PC-2, DAC and DPC algorithms are instances of a single generic algorithm. The work reported here extends and simplifies that of Apt [1].
منابع مشابه
Crack Tip Constraint for Anisotropic Sheet Metal Plate Subjected to Mode-I Fracture
On the ground of manufacturing, sheet metal parts play a key role as they cover about half of the production processes. Sheet metals are commonly obtained from rolling and forming processes which causes misalignment of micro structure resulting obvious anisotropic characteristics and micro cracks. Presence of micro cracks poses serious attention, when stresses at the tip reach to the critical v...
متن کاملExperience based configuration
This paper aims at presenting a way to integrate Case Based Reasoning and Constraint Satisfaction techniques in order to guide a configuration process according to past experiments. We suggest a methodology in three steps: first find relevant cases in the past experiments case base, then determine a relevant domain to adapt the selected solution to the new problem, and at last use constraint pr...
متن کاملSolving Constraint Optimization Problems in Anytime Contexts
This paper presents a new hybrid method for solving constraint optimization problems in anytime contexts. Discrete optimization problems are modelled as Valued CSP. Our method (VNS/LDS+CP) combines a Variable Neighborhood Search and Limited Discrepancy Search with Constraint Propagation to efficiently guide the search. Experiments on the CELAR benchmarks demonstrate significant improvements ove...
متن کاملOverview on the Using Rough Set Theory on GIS Spatial Relationships Constraint
To explore the constraint range of geographic video space, is the key points and difficulties to video GIS research. Reflecting by spatial constraints in the geographic range, sports entity and its space environment between complicated constraint and relationship of video play a significant role in semantic understanding. However, how to position this precision to meet the characteristic behavi...
متن کاملA Synthesis of Constraint Satisfaction and Constraint Solving
This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspired some constraint programming languages, it has some weaknesses that leave it not directly applicable to the study of complex constraints (including so-called global constraints) in constraint programming languages. In particul...
متن کامل